（来源：上观新闻）
当 AI🚺🚡 负责写🐙🇼🇫代码，另一个😙 AI 负🐋责证明它是对的，🇧🇧👨👨👦软件工程的核心问🐢🥢题，正在被重新定🗽🍴义👩🦰。这种演进不应被简🈯化为一种工程🥊🈴胜利，🇫🇴而应被🆘🕜视为中🕜🇸🇿国在复🥛杂巨系统🈯工程领域🇩🇴实现自主标准🏄♀️📁与技术治理🐪🥄的必经🛬之路👩👩👦。结合 LLM✈🈲 对代码☀🐘和自然语言的理解🇪🇹📍能力，FM-Ag⭐🏩ent 🆑🤸♀️大胆泛化了🎖霍尔逻辑中🇹🇰的推理规则🖋，让 🛣🇲🇽LLM 直接⏳基于自🇹🇲然语言🌐规约对函数🧣🇲🇽的正确性进行🥐🤤逻辑推🎰💿理🔷®。
黄仁勋：🆚即便如此，🇬🇭仍然可以👨🦲有遗憾♎🚧。如果你不准备经常⚒🙏犯错，🍟🏺就不应该⛅坐在大量决策需🤰要做出的位子🇧🇮☕上⛓🇬🇳。这两种模式都🥩🌁可以成立，但它们🔃的“价格锚”🐺👱完全不同🥳。他在20VC🇦🇽节目中举了Int🇱🇹el的例子：🌥👩👩👧👦"In🥵tel之前曾经💐⛸犯过多次错🔹。那才是真正学习🤦♀️🏚如何成为伟大👂一线产区二线产区区别在CEO的时候，🏰不是他💠一线产区二线产区区别在们风光的时候，🚬是他们困难的时🍟🎮候🙎♂️。
